Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
241	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
242	ABOUT MANUSCRIPTS FOR IJ ITA Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:59 Fuzzy logic Logic Mathematical logic Fuzzy set Membership function Library
243	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem
244	FROM CLAUSEN TO CARLITZ: LOW-DIMENSIONAL SPIN GROUPS AND IDENTITIES AMONG CHARACTER SUMS NICHOLAS M. KATZ Dedicated to Pierre Deligne, with the utmost admiration Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2008-04-18 19:12:12 Mathematics Mathematical analysis Algebra Ordinary differential equations Algebraic topology Sheaf Kloosterman sum Hypergeometric function Cohomology Lie groups Linear temporal logic Differential forms on a Riemann surface
245	IPMU 2016 session content SS05: Fuzzy Measures and Integrals Tu 21, 10:50 Tu 21, 11:10 Tu 21, 11:30 Add to Reading List Source URL: is.ieis.tue.nl Language: English - Date: 2016-06-14 05:34:33 Fuzzy logic Logic Mathematical logic Mathematics Fuzzy set Fuzzy measure theory Membership function Ronald R. Yager Rough set Didier Dubois Rudolf Kruse Type-2 fuzzy sets and systems
246	New Essays on Human Understanding Book IV: Knowledge G. W. Leibniz Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been ad Add to Reading List Source URL: www.earlymoderntexts.com Language: English Philosophy Epistemology Internalism and externalism Justification Philosophical movements Philosophical logic An Essay Concerning Human Understanding Empiricism Gottfried Wilhelm Leibniz Truth Ethics Mathematical proof
247	The Pennsylvania State University The Graduate School College of Earth and Mineral Sciences DOES TOPOLOGY PREDICT GEOGRAPHIC (2D) EVENT SEGMENTATION? Add to Reading List Source URL: www.geovista.psu.edu Language: English - Date: 2016-07-01 14:44:38 Knowledge representation Reasoning Logic Mathematics Computational topology Constraint programming Region connection calculus Mathematical logic Ontology Topology Image segmentation Topological space
248	Convergence of Hypervolume-Based Archiving Algorithms II: Competitiveness Submission to GECCO Track “Evolutionary Multiobjective Optimization (EMO)” ABSTRACT We study the convergence behavior of (µ + λ)-archiving a Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:34 Mathematics Algorithm Mathematical logic Theoretical computer science Mu Greedy algorithm Online algorithm Discrete mathematics
249	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta May 28, 2014 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO
250	Incremental Learning of Fuzzy Basis Function Networks with a Modified Version of Vector Quantization Edwin Lughofer Fuzzy Logic Laboratorium Linz Johannes Kepler University Linz A-4040 Linz, Austria Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2007-11-08 02:39:44 Artificial intelligence Statistics Logic Mathematical logic Logic in computer science Fuzzy logic K-means clustering Cluster analysis Vector quantization Fuzzy clustering Fuzzy set Neuro-fuzzy

UPDATE